Nuprl Definition : es-r-immediate-pred
11,40
postcript
pdf
es-r-immediate-pred(
es
;
R
;
e'
;
e
) == rel-immediate(es-E(
es
);
R
)(
e'
,
e
)
latex
Definitions
f
(
a
)
,
rel-immediate(
T
;
R
)
,
es-E(
es
)
FDL editor aliases
es-r-immediate-pred
origin